home *** CD-ROM | disk | FTP | other *** search
/ C/C++ Users Group Library 1996 July / C-C++ Users Group Library July 1996.iso / listings / v_08_07 / 8n07076a < prev    next >
Encoding:
Text File  |  1990-06-17  |  409 b   |  15 lines
  1.  
  2. 'isempty : int X Array( int, dim) -> Boolean
  3. 'isempty( index, v) = ( index == 0 )
  4.  
  5. 'isfull : int X Array( int, dim) -> Boolean
  6. 'isfull( index, v) = ( index >= dim )
  7.  
  8. 'push : int X Array( int, dim) X int -> int X Array( int, dim)
  9. 'push( index, v, x) = ( index + 1, e( index, x, v))
  10.  
  11. 'pop : int X Array( int, dim) -> int X Array( int, dim) X int
  12. 'pop( index, v) = ( index - 1, v, v[index - 1])
  13.  
  14.  
  15.